The fundamental localic groupoid of a topos
نویسندگان
چکیده
منابع مشابه
The Classifying Topos of a Continuous Groupoid. I
We investigate some properties of the functor B which associates to any continuous groupoid G its classifying topos BG of equivariant G-sheaves. In particular, it will be shown that the category of toposes can be obtained as a localization of a category of continuous groupoids. If G is a group, the category of G-sets (sets equipped with a right G-action) is a topos BG, which classifies principa...
متن کاملThe Fundamental Progroupoid of a General Topos
It is well known that the category of covering projections (that is, locally constant objects) of a locally connected topos is equivalent to the classifying topos of a strict progroupoid (or, equivalently, a localic prodiscrete groupoid), the fundamental progroupoid, and that this progroupoid represents first degree cohomology. In this paper we generalize these results to an arbitrary topos. Th...
متن کاملA New Higher Homotopy Groupoid: the Fundamental Globular Ω-groupoid of a Filtered Space
We show that the graded set of filter homotopy classes rel vertices of maps from the n-globe to a filtered space may be given the structure of (strict) globular ω-groupoid. The proofs use an analogous fundamental cubical ω-groupoid due to the author and Philip Higgins in 1981. This method also relates the construction to the fundamental crossed complex of a filtered space, and this relation all...
متن کاملOn Computational Paths and the Fundamental Groupoid of a Type
The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz & Gabbay (1994) as ‘sequences of rewrites’, computational paths can be seen as the grounds on which the propositional equality between two computational objects stand. Using computational paths and categorical semantics, we take any type A of type theory and construct a ...
متن کاملCentral S–Extensions of Some Fundamental Groupoid
Central S-extensions of the fundamental groupoid of a connected symplectic manifold with an Abelian fundamental group, satisfying some conditon on the universal covering space are computed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1992
ISSN: 0022-4049
DOI: 10.1016/0022-4049(92)90031-a